Kornilowicz, Artur: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Four Decades of Mizar

Grabowski, Adam, Korniłowicz, Artur, Naumowicz, Adam

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 366 KB

english, 2015

2

Flexary connectives in Mizar

Korniłowicz, Artur

Journal:

Computer Languages, Systems & Structures

Year:

2015

Language:

english

File:

PDF, 323 KB

english, 2015

3

Annals of Computer Science and Information Systems [IEEE 2015 Federated Conference on Computer Science and Information Systems - (2015.9.13-2015.9.16)] Proceedings of the 2015 Federated Conference on Computer Science and Information Systems - Equality in computer proof-assistants

Grabowski, Adam, Kornilowicz, Artur, Schwarzweller, Christoph

Year:

2015

Language:

english

File:

PDF, 161 KB

english, 2015

4

On Rewriting Rules in Mizar

Artur Korniłowicz

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 277 KB

english, 2013

5

Formal Mathematics for Mathematicians

Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Kuperberg

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 134 KB

english, 2013

6

Definitional Expansions in Mizar

Korniłowicz, Artur

Journal:

Journal of Automated Reasoning

Year:

2015

Language:

english

File:

PDF, 574 KB

english, 2015

7

The Differentiable Functions from R into Rn

Narita, Keiko, Korniłowicz, Artur, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 263 KB

english, 2012

8

Fundamental Group of n-sphere for n ≥ 2

Riccardi, Marco, Korniłowicz, Artur

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 244 KB

english, 2012

9

Riemann Integral of Functions from R into n-dimensional Real Normed Space

Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2012

Language:

english

File:

PDF, 259 KB

english, 2012

10

More on the Continuity of Real Functions

Narita, Keiko, Kornilowicz, Artur, Shidama, Yasunari

Journal:

Formalized Mathematics

Year:

2011

Language:

english

File:

PDF, 202 KB

english, 2011

11

Miscellaneous Facts about Open Functions and Continuous Functions

Korniłowicz, Artur

Journal:

Formalized Mathematics

Year:

2010

Language:

english

File:

PDF, 193 KB

english, 2010

12

Characteristic of Rings. Prime Fields

Schwarzweller, Christoph, Korniłowicz, Artur

Journal:

Formalized Mathematics

Year:

2015

Language:

english

File:

PDF, 192 KB

english, 2015

13

The First Isomorphism Theorem and Other Properties of Rings

Korniłowicz, Artur, Schwarzweller, Christoph

Journal:

Formalized Mathematics

Year:

2014

Language:

english

File:

PDF, 277 KB

english, 2014

14

Introduction to Liouville Numbers

Grabowski, Adam, Korniłowicz, Artur

Journal:

Formalized Mathematics

Language:

english

File:

PDF, 290 KB

english

15

All Liouville Numbers are Transcendental

Korniłowicz, Artur, Naumowicz, Adam, Grabowski, Adam

Journal:

Formalized Mathematics

Language:

english

File:

PDF, 261 KB

english

16

Cayley's Theorem

Korniłowicz, Artur

Journal:

Formalized Mathematics

Year:

2011

Language:

english

File:

PDF, 199 KB

english, 2011

17

Annals of Computer Science and Information Systems [IEEE 2017 Federated Conference on Computer Science and Information Systems - (2017.9.3-2017.9.6)] Proceedings of the 2017 Federated Conference on Computer Science and Information Systems - Formalization of the Algebra of Nominative Data in Mizar

Korniłowicz, Artur, Kryvolap, Andrii, Nikitchenko, Mykola, Ivanov, Ievgen

Year:

2017

Language:

english

File:

PDF, 126 KB

english, 2017

18

Annals of Computer Science and Information Systems [IEEE 2017 Federated Conference on Computer Science and Information Systems - (2017.9.3-2017.9.6)] Proceedings of the 2017 Federated Conference on Computer Science and Information Systems - Introducing Euclidean Relations to Mizar

Naumowicz, Adam, Kornilowicz, Artur

Year:

2017

Language:

english

File:

PDF, 103 KB

english, 2017

19

Mazur-Ulam Theorem

Korniłowicz, Artur

Journal:

Formalized Mathematics

Year:

2011

Language:

english

File:

PDF, 243 KB

english, 2011

20

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

Bancerek, Grzegorz, Byliński, Czesław, Grabowski, Adam, Korniłowicz, Artur, Matuszewski, Roman, Naumowicz, Adam, Pąk, Karol

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 784 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски